Thread algebra for noninterference

Noninterference for Concurrent Programs and Thread Systems

Noninterference for Concurrent Programs and Thread Systems

Program Algebra and Thread Algebra

Probabilistic Thread Algebra

We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the behaviours exhibited by the components of execution environments of instruction sequences. In a paper concerned with probabilistic instruction seque...

Thread algebra for SANE Virtual Processors

This paper presents a formal approach to the verification and evaluation of a programming/machine model being developed at the University of Amsterdam, called the SANE Virtual Processor (SVP). The model is being used as a basis for designing and programming chip multiprocessors and to support self-adaptive computation. This model can provide solutions for effectively programming distributed mul...